منابع مشابه
Normal Forms in Partial Modal Logic
A “partial” generalization of Fine’s definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi]. Introduction. From the viewpoint of formal linguistics, cognitive science and artificial intelligence, there appears to be a natural interest in the combinations of partiality and ...
متن کاملNormal Forms in Combinatory Logic
Let R be a convergent term rewriting system, and let CR-equality on (simply typed) combinatory logic terms be the equality induced by βηRequality on terms of the (simply typed) lambda calculus under any of the standard translations between these two frameworks for higher-order reasoning. We generalize the classical notion of strong reduction to a reduction relation which generates CR-equality a...
متن کاملUnification in the normal modal logic Alt1
The unification problem in a logical system L can be defined in the following way: given a formula φ(x1, . . . , xα), determine whether there exists formulas ψ1, . . ., ψα such that φ(ψ1, . . . , ψα) is in L. The research on unification for modal logics was originally motivated by the admissibility problem for rules of inference: given a rule of inference φ1(x1, . . . , xα), . . . , φm(x1, . . ...
متن کاملProving Unprovability in Some Normal Modal Logic
The present communication suggests deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula φ either ` φ or a φ (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considera...
متن کاملNormal Forms for Defeasible Logic
Defeasible logic is an important logic-programming based nonmonotonic reasoning formalism which has an eecient implementation. It makes use of facts, strict rules, defeasible rules, defeaters, and a superiority relation. Representation results are important because they can help the assimilation of a concept by connning attention to its critical aspects. In this paper we derive some representat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1975
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093891703